Runtime verification

Results: 98



#Item
41polyL�ʀ��: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries Christian Colombo1 , Adrian Francalanza1 , Ruth Mizzi1 , and Gordon J. Pace1 Department of Computer Science, University of Mal

polyL�ʀ��: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries Christian Colombo1 , Adrian Francalanza1 , Ruth Mizzi1 , and Gordon J. Pace1 Department of Computer Science, University of Mal

Add to Reading List

Source URL: staff.um.edu.mt

Language: English - Date: 2012-06-22 11:00:11
    42Parametric Identification of Temporal Properties [.3cm] - 2nd International Conference on Runtime Verification, September 28th, 2011

    Parametric Identification of Temporal Properties [.3cm] - 2nd International Conference on Runtime Verification, September 28th, 2011

    Add to Reading List

    Source URL: www-verimag.imag.fr

    Language: English - Date: 2011-10-17 07:14:54
      43Extensible Technology Agnostic Runtime Verification Christian Colombo Adrian Francalanza Ruth Mizzi

      Extensible Technology Agnostic Runtime Verification Christian Colombo Adrian Francalanza Ruth Mizzi

      Add to Reading List

      Source URL: www.cs.um.edu.mt

      Language: English - Date: 2013-02-12 05:38:14
        44Automatic Generation of Object Usage Specifications from Large Method Traces

        Automatic Generation of Object Usage Specifications from Large Method Traces

        Add to Reading List

        Source URL: mp.binaervarianz.de

        Language: English - Date: 2009-09-02 13:08:00
        45

        PDF Document

        Add to Reading List

        Source URL: mp.binaervarianz.de

        Language: English - Date: 2012-04-04 14:13:24
        46Runtime Verification with State Estimation Appears in the proceedings of the 2nd International Conference on Runtime Verification (RVScott D. Stoller1 , Ezio Bartocci2 , Justin Seyster1 , Radu Grosu1 , Klaus Havel

        Runtime Verification with State Estimation Appears in the proceedings of the 2nd International Conference on Runtime Verification (RVScott D. Stoller1 , Ezio Bartocci2 , Justin Seyster1 , Radu Grosu1 , Klaus Havel

        Add to Reading List

        Source URL: www.fsl.cs.sunysb.edu

        Language: English - Date: 2011-10-04 15:26:35
          47Foundations of Boolean Stream Runtime Verification? (Extended Version) Laura Bozzelli1 and C´esar S´anchez2,3 1

          Foundations of Boolean Stream Runtime Verification? (Extended Version) Laura Bozzelli1 and C´esar S´anchez2,3 1

          Add to Reading List

          Source URL: software.imdea.org

          Language: English - Date: 2014-06-27 10:56:07
            48From Runtime Verification to Evolvable Systems Howard Barringer1, Dov Gabbay2 , and David Rydeheard1 1 2

            From Runtime Verification to Evolvable Systems Howard Barringer1, Dov Gabbay2 , and David Rydeheard1 1 2

            Add to Reading List

            Source URL: www.cs.man.ac.uk

            - Date: 2007-05-25 11:38:03
              49Runtime Verification of Log Files, a Trojan Horse for Formal Methods? Howard Barringer1 , Alex Groce3 , Klaus Havelund2 , David Rydeheard1 , and Margaret Smith2 1

              Runtime Verification of Log Files, a Trojan Horse for Formal Methods? Howard Barringer1 , Alex Groce3 , Klaus Havelund2 , David Rydeheard1 , and Margaret Smith2 1

              Add to Reading List

              Source URL: havelund.com

              Language: English - Date: 2009-12-15 17:05:51
                50A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

                A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

                Add to Reading List

                Source URL: www.cs.man.ac.uk

                Language: English - Date: 2013-09-02 06:11:57